proof lift

un. 验证表